perm filename BLED[NOT,DBL]2 blob
sn#179644 filedate 1975-10-07 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Professor Woody Bledsoe)
C00007 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL CENTER
Cheers,
.SKIP 6
Doug Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Professor Woody Bledsoe)
Applied Mathematics Department
University of Texas at Austin
Austin, Texas
.FAC
Dear Woody,
Greetings! I've just returned from the USSR, and it feels good to "relax"
by continuing my research. I hope the last few days of the IJCAI conference
were productive for you. I was afraid that all that singing at the banquet
might drive you back into the hospital!
I'm sending you a copy of my dissertation proposal,
as you requested. Recall that it is a system which intuitively "discovers"
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
If you find it relevant and/or interesting,
perhaps we can discuss it
further.
Assuming the work progresses smoothly, I should receive my Ph.D. this
Spring, and I would be happy to talk
at Texas
about my research
sometime this Winter.
Please keep in touch, especially about your ideas for a %2tabula raza%* math system.
.DBL